201. Mathematical foundations of computer science 1988: proceedings of the 13th symposium, Carlsbad, Czechoslovakia, August 29-September 2, 1988
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Electronic data processing-- Mathematics
Classification :
QA
76
.
9
.
M35
.
S95
1988
202. Mathematical knowledge management
Author: / Andrea Asperti, Bruno Buchberger, James H. Davenport (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Mathematics--Data processing--Congresses,Information storage and retrieval systems--Mathematics--Congresses,Automatic theorem proving--Congresses
Classification :
QA
,
76
.
95
,.
I565
,
2003
203. Mathematical logic and theoretical computer science
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Electronic data processing,، Algebra
Classification :
QA
9
.
2
.
M35
1987
204. Mathematical logic for computer science
Author: Lu, Chung-wan.
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Electronic data processing - Mathematics , Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
M35
L8
1989
205. Mathematical logic for computer science
Author: Lu, Chung-wan
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Mathematics ، Electronic data processing,، Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
M35
.
L8
1989
206. Models, algorithms, and technologies for network analysis :
Author: Boris I. Goldengorin, Valery A. Kalyagin, Panos M. Pardalos, editors
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mathematical optimization, Congresses,System analysis-- Data processing, Congresses,System analysis-- Mathematical models, Congresses
Classification :
QA402
.
I58
2012
207. Modern computer algebra
Author: / Joachim von zur Gathen and Jurgen Gerhard
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Algebra- Data processing,Computer algorithms,Computer science- Mathematics
Classification :
QA155
.
7
.
E4
,
Z87
1999
208. Multirate filtering for digital signal processin
Author: / Ljiljana Milic
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: MATLAB.,Signal processing--Digital techniques--Data processing,Signal processing--Digital techniques--Mathematics,Electric filters, Bandpass--Computer simulation,Multiplexing--Computer simulation
Classification :
TK
,
5102
.
9
,.
M545
,
2009
209. Multiset processing
Author: / Cristian S. Calude ... [et al.] (eds.
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Electronic data processing--Congresses,Computer science--Mathematics--Congresses,Molecular computers--Congresses
Classification :
QA
,
76
.
5
,.
M85
,
2001
210. Multiset processing : mathematical, computer science, and molecular computing points of view
Author: Cristian S. Calude...]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Electronic data processing,Congresses ، Computer science -- Mathematics,Congresses ، Molecular computers
Classification :
QA
76
.
L28
Vol
.
2235
211. Multiset processing: mathematical, computer science, and molecular computing points of view
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Electronic data processing,Congresses ، Computer science-- Mathematics,Congresses ، Molecular computers
Classification :
QA
76
.
5
.
M85
2001
212. Numerical Analysis
Author: by Roger Temam.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science -- Mathematics.,Electronic data processing.,Mathematics.
213. Numerical Data Fitting in Dynamical Systems
Author: by Klaus Schittkowski.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Electronic data processing.,Mathematical optimization.,Mathematics.,Statistics.
214. Numerical Integration of Stochastic Differential Equations
Author: by G. N. Milstein.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Distribution (Probability theory).,Electronic data processing.,Mathematics.
215. Numerical Solutions of the N-Body Problem
Author: by Andrzej Marciniak.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Electronic data processing.
Classification :
QA378
.
B936
1985
216. Numerical methods for computer science, engineering and mathematics
Author: Mathews, John H
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Numerical analysis , Electronic data processing - Mathematics , Engineering mathematics
Classification :
QA
297
.
M39
217. Numerical methods for computer science, engineering and mathematics
پدیدآورنده : John H. Mathews
موضوع : Numerical analysis,Electronic data processing - Mathematics,Engineering mathematics
۳ نسخه از این کتاب در ۲ کتابخانه موجود است.
218. Numerical methods for computer science, engineering, and mathematics.
Author: / John H. Mathews
Library: Central Library of college of Agriculture and Natural Resources (Alborz)
Subject: Numerical analysis.,Electronic data processing-mathematics.,Engineering mathematics.
Classification :
QA
297
.
M39
1987
219. Online assessment and measurement :
Author: Scott L. Howell and Mary Hricko, Editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Educational tests and measurements-- United States-- Computer programs, Case studies.,Educational tests and measurements-- United States-- Data processing, Case studies.,Employees-- Rating of-- United States-- Computer programs, Case studies.,EDUCATION-- Evaluation.,EDUCATION-- Testing & Measurement.,Educational tests and measurements-- Computer programs.,Educational tests and measurements-- Data processing.,STUDY AIDS-- Tests.,United States., 7
Classification :
LB3060
.
55
.
O65
2006eb
220. Optimization of process flowsheets through metaheuristic techniques /
Author: José María Ponce-Ortega, Luis Germán Hernández-Pérez.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Chemical processes-- Data processing.,Chemical processes-- Mathematics.,Mathematical optimization.,Metaheuristics.,Artificial intelligence.,Chemical processes-- Data processing.,Computer modelling & simulation.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Industrial chemistry.,Mathematical optimization.,Metaheuristics.,Science-- Chemistry-- Industrial & Technical.
Classification :
TP155
.
7
